package tarantula.experiment.timeandmoney;

import junit.framework.TestCase;

public class TimeAndMoneyFailedTestsSimpleTestBug3 extends TestCase{
	 public void test12() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double(0.0d);
		    java.lang.Integer var1 = new java.lang.Integer(1);
		    com.domainlanguage.time.Duration var2 = com.domainlanguage.time.Duration.seconds((int)var1);
		    com.domainlanguage.time.TimeRate var3 = new com.domainlanguage.time.TimeRate(var0, var2);
		    com.domainlanguage.time.TimeRate var4 = new com.domainlanguage.time.TimeRate(var0, var2);
		    boolean var5 = var3.equals(var3);
		    
		    // Checks the contract:  equals-hashcode on var3 and var4
		    assertTrue("Contract failed: equals-hashcode on var3 and var4", var3.equals(var4) ? var3.hashCode() == var4.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var4 and var3
		    assertTrue("Contract failed: equals-hashcode on var4 and var3", var4.equals(var3) ? var4.hashCode() == var3.hashCode() : true);

		  }
	 
	 public void test17() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double(0.0d);
		    java.lang.Integer var1 = new java.lang.Integer(1);
		    com.domainlanguage.time.Duration var2 = com.domainlanguage.time.Duration.seconds((int)var1);
		    com.domainlanguage.time.TimeRate var3 = new com.domainlanguage.time.TimeRate(var0, var2);
		    com.domainlanguage.time.TimeRate var4 = new com.domainlanguage.time.TimeRate(var0, var2);
		    boolean var5 = var3.equals(var3);
		    
		    // Checks the contract:  equals-hashcode on var3 and var4
		    assertTrue("Contract failed: equals-hashcode on var3 and var4", var3.equals(var4) ? var3.hashCode() == var4.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var4 and var3
		    assertTrue("Contract failed: equals-hashcode on var4 and var3", var4.equals(var3) ? var4.hashCode() == var3.hashCode() : true);

		  }
	 
	 public void test18() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double(0.0d);
		    java.lang.Integer var1 = new java.lang.Integer(1);
		    com.domainlanguage.time.Duration var2 = com.domainlanguage.time.Duration.seconds((int)var1);
		    com.domainlanguage.time.TimeRate var3 = new com.domainlanguage.time.TimeRate(var0, var2);
		    com.domainlanguage.time.TimeRate var4 = new com.domainlanguage.time.TimeRate(var0, var2);
		    boolean var5 = var3.equals(var3);
		    
		    // Checks the contract:  equals-hashcode on var3 and var4
		    assertTrue("Contract failed: equals-hashcode on var3 and var4", var3.equals(var4) ? var3.hashCode() == var4.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var4 and var3
		    assertTrue("Contract failed: equals-hashcode on var4 and var3", var4.equals(var3) ? var4.hashCode() == var3.hashCode() : true);

		  }
	 
	 public void test19() throws Throwable {

		    java.lang.Double var0 = new java.lang.Double(0.0d);
		    java.lang.Integer var1 = new java.lang.Integer(1);
		    com.domainlanguage.time.Duration var2 = com.domainlanguage.time.Duration.seconds((int)var1);
		    com.domainlanguage.time.TimeRate var3 = new com.domainlanguage.time.TimeRate(var0, var2);
		    com.domainlanguage.time.TimeRate var4 = new com.domainlanguage.time.TimeRate(var0, var2);
		    boolean var5 = var3.equals(var3);
		    
		    // Checks the contract:  equals-hashcode on var3 and var4
		    assertTrue("Contract failed: equals-hashcode on var3 and var4", var3.equals(var4) ? var3.hashCode() == var4.hashCode() : true);
		    
		    // Checks the contract:  equals-hashcode on var4 and var3
		    assertTrue("Contract failed: equals-hashcode on var4 and var3", var4.equals(var3) ? var4.hashCode() == var3.hashCode() : true);

		  }
}
